Buy Used and New Miriam Leeser Books

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University Ithaca, New ... 408 (Lecture Notes in Computer Science)

by Miriam Leeser,Geoffrey Brown

ISBN 13: 9780387972268

Format: Illustrated (412 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later